[XEN] Fix PAE PDPT shadowing coherence.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 20 Jun 2006 16:04:13 +0000 (17:04 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 20 Jun 2006 16:04:13 +0000 (17:04 +0100)
commitda6d8860b056d445c62ebdf63c0ffcb22abff2b9
treec5fba2c1467a3569a6d54b5d3bc86f76f8a8c741
parent19c8828f4ba96dd029b03064b03da301afbb71ab
[XEN] Fix PAE PDPT shadowing coherence.
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/mm.c